منابع مشابه
Natural Disasters and Existential Concerns: A Test of Tillich’s Theory of Existential Anxiety
Existential anxiety is hypothesized to be a core human issue in a great deal of theoretical and philosophical writing. Fostering the empirical understanding of the expression of these concerns may be a valuable addition to the psychological literature on exposure to trauma. The purpose of this study was to test theoretical predictions about the association between different facets of existentia...
متن کاملOn the Decidability of the Existential Theory of Fp[[t]]
We show how Resolution of Singularities in characteristic p implies the decidability of the existential theory of Fp[[t]] in the language of discrete valuation rings, where t is a single variable and Fp the pelement field.
متن کاملCombined Decision Techniques for the Existential Theory of the Reals
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. While non-linear (rational function) arithmetic over R is decidable, it is fundamentally infeasible: any general decision method for this problem is worst-case exponential in the dimension (number of variables) of the for...
متن کاملExplorer Combined Decision Techniques for the Existential Theory of the
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. While non-linear (rational function) arithmetic over R is decidable, it is fundamentally infeasible: any general decision method for this problem is worst-case exponential in the dimension (number of variables) of the for...
متن کاملThe Existential Fragment of the One-Step Parallel Rewriting Theory
It is known that the first-order theory with a single predicate → that denotes one-step rewriting reduction on terms is undecidable already for formulae with ∃∀ prefix. Several decidability results exist for the fragment of the theory in which the formulae start with the ∃ prefix only. This paper considers a similar fragment for a predicate → which denotes the parallel one-step rewriting reduct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Journal of Modern Physics
سال: 2015
ISSN: 2326-8867
DOI: 10.11648/j.ajmp.s.2015040201.14